1. A dicipline of programming
پدیدآورنده : Dijkstra , Edsger Wybe
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Electronic digital computers - programming
رده :
QA
76
.
6
.
D54
1979
2. A discipline of Programming
پدیدآورنده : / Edsger W. Dijksrtra
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
D575
3. A discipline of programming
پدیدآورنده : /Edsger W. Dijkstra.
موضوع : برنامه‌نویسی
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
4. A discipline of programming /
پدیدآورنده : Edsger W. Dijkstra
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming
رده :
QA76
.
6
.
D54
5. A discipline of programming
پدیدآورنده : / Edsger W. Dijkstra
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer programming
رده :
QA
76
.
6
.
D54
1976
6. A discipline of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
D54
7. A discipline of programming
پدیدآورنده : / Edsger W. Dijkstra
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
6
.
D54
8. <A> method of Programming
پدیدآورنده : Edsger W. Dijkstra, W. H. J. Feijen
موضوع : Electronic digital computers- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
9. A method of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Computer programming
رده :
QA
76
.
6
.
D5513
1989
10. A method of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
D5513
1988
11. A method of programming, Mehtode van programming. English
پدیدآورنده : Dijkstra, Edsger Wybe, Edssger W. Dijkstra, W.H.J. Feijen
موضوع : ، Electronic digital computers - programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
13. Beauty is our business : a birthday salute to Edsger W. Dijkstra
پدیدآورنده : W.H.J. Feijen.--]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Dijkstra, Edsgar Wybe
رده :
QA
76
.
B326
1990
14. Beginning Ada Programming
پدیدآورنده : Andrew T. Shvets.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),Ada (Computer program language)
رده :
QA76
.
73
.
A35
15. Beyond calculation :
پدیدآورنده : Peter J. Denning, Robert M. Metcalfe ; foreword by James Burke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,prospective informatique.,révolution informatique.,technologie informatique.
رده :
QA76
.
D348
1997
16. Formal Development of Programs and Proofs
پدیدآورنده : Edited By Edsger W. Dijkstra
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic Dijital Computers- Programming- Congresses
رده :
QA
،
76
.
6
،.
F657
،
1990
17. Formal development of programs and proofs
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Programming- Congresses
18. Methode van programmeren. English,A method of programming
پدیدآورنده : Edsger W. dijkstra, W. H. Feijen
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Electronic digital computers - Programming
رده :
QA
,
76
.
6
,.
D5513
,
1988
19. On the shape of mathematical arguments
پدیدآورنده : Gasteren, Antonetta J. M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G37
1990
20. On the shape of mathematical arguments
پدیدآورنده : / A.J.M. van Gasteren
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Proof theory.
رده :
QA
,
9
.
54
,.
G37
,
1990
